[IA64] Fix VTi domain destroy bug

This patch will fix VTi domain destroy bug. On tip, we couldn't
destroy VTi successfully at times. It was caused by misusing
vhpt base address for VTi domain in vhpt_flush function.

Signed-off-by : Zhang xiantao <xiantao.zhang@intel.com>

diff --git a/xen/arch/ia64/xen/vhpt.c b/xen/arch/ia64/xen/vhpt.c
index 59e6199a7fcdcb5bd90d2332dd6173c1cdfcf010..f54e2a832ed477942238b0e4661c7394462ac521 100644 (file)
--- a/xen/arch/ia64/xen/vhpt.c
+++ b/xen/arch/ia64/xen/vhpt.c
@@ -25,7 +25,7 @@ DEFINE_PER_CPU (unsigned long, vhpt_pend);
 
 static void vhpt_flush(void)
 {
-       struct vhpt_lf_entry *v = (struct vhpt_lf_entry *)VHPT_ADDR;
+       struct vhpt_lf_entry *v = __va(__ia64_per_cpu_var(vhpt_paddr));
        int i;
 
        for (i = 0; i < VHPT_NUM_ENTRIES; i++, v++)